AAAI–93 Workshops: Summary Reports

suggestions about the kinds of AI technique that could be used to solve them. The general consensus was that AI can make significant contributions toward solving major system engineering problems. The AI applications described in the afternoon ranged from innovative to traditional; all of them, though, made possible the solution of difficult system engineering problems. Two of the systems used rules and constraint propagation to help the user solve complex systems of constraint equations that described satellite systems. Another system described how formal specifications could be used by a theorem prover to prove the correctness and completeness of the design of a complex digi■ The American Association for Artificial Intelligence sponsored a number of workshops in conjunction with the Eleventh National Conference on Artificial Intelligence held 11–15 July 1993 in Washington, D.C. This article contains reports of four of the workshops that were conducted: AI Models for System Engineering, Case-Based Reasoning, Reasoning about Function, and Validation and Verification of Knowledge-Based Systems.